The authors consider reflexive games that describe the interaction of subjects making decisions based on an awareness structure, i.e., a hierarchy of beliefs about essential parameters, beliefs about beliefs, and so on. It was shown that the language of graphs of reflexive games represents a convenient uniform description method for reflexion effects in bélles-léttres.

The sources of religious tolerance but also of religious nationalism in post-soviet Russia can be found basically in the group identification of nationality and religion. In crisis situations, the historical religion of the Russian society - Orthodoxy - becomes the criterion for identifying the national identity. However, despite the fact that the majority of Russians in our times consider themselves Orthodox, many of them are not believers. The observable effect of the “external belief” results in the fact that the religion (...) tends to become a matter of personal choice and an individual value. It assumes a nationalistic function and to become an ideology. As a result, the political elite considers religion as a means of achieving different non- religious purposes. The Russian Orthodox Church, the official church, is compelled to take this fact into consider- ation and even support it. This is why religious intolerance and religious nationalism in modern Russia are often directed towards religion. (shrink)

A conception of an information system has been introduced by Pawlak. The study has been continued in works of Pawlak and Orlowska and in works of Vakarelov. They had proposed some basic relations and had constructed a formal system of a modal logic that describes the relations and some of their Boolean combinations. Our work is devoted to a generalization of this approach. A class of relation systems and a complete calculus construction method for these systems are proposed. As a (...) corollary of our main result, our paper contains a solution of a Vakarelov's problem: how to construct a formal system that describes all the Boolean combinations of the basic relations. (shrink)

In this paper we continue the study of Girard's Linear Logic and introduce a new Linear Logic with modalities. Our logic describes not only the consumption, but also the presence of resources. We introduce a new semantics and a new calculus for this logic. In contrast to the results of Lincoln [7] and Kanovich [4] about the NP-completeness of the problem of the construction of a proof for a given sequent in the multiplicative fragment of Girard's Linear Logic, we present (...) here a non-exponential algorithm to construct a proof for a given sequent and a given point of a given model in our Linear Logic. (shrink)

Artykuł poświęcony jest specyfice rozwoju osobowości osób z OMZ, który rozumiany jest jako rozwój w utrudnionych warunkach, nie jest on tożsamy ani z normalnym, ani anomalnym rozwojem. Cele, ukierunkowanie i kryteria rozwoju w utrudnionych warunkach nie odbiegają od normalnego rozwoju, jednak deficyt określonej kategorii zasobów rozwoju wymaga podniesionej mobilizacji pozostałych zasobów i podnosi miarę wysiłków, które należy dostosować do indywiduum dla osiągnięcia celów rozwoju. Teoretyczny model, zaproponowany w artykule, opisuje osobowościowy rozwój przez mechanizmy współdziałania fizycznych, społecznych i osobowościowych zasobów, kompensacje (...) deficytu jednych zasobów innymi. Sytuacja rozwoju osób z OMZ charakteryzuje się wyzwaniem niepełnosprawności, przyjęcie którego prowadzi do budowania u nich jakościowej figury systemu regulacji działania, opartego na kompensacji przez osobowościowe zasoby deficytu fizycznych środków, przy czym charakter tej kompensacji licznie kształtuje się dostępnością makrospołecznych i mikrospołecznych zasobów pomocy społecznej. (shrink)

Summary This paper presents a new argument against the widely accepted view that Eratosthenes and some other Greek authors of the pre-Roman period measured distances in special stades that were much shorter than the ‚common‘ stade of 185 m attested by the majority of sources.

In this paper we introduce a new type of nets with bounded types of distributed resources . Linear Logic to describe the behaviour of BR-nets is defined. It is based on Girard's Linear Logic but captures not only consumption of resources but their presence as well. Theorem of soundness and completeness of the proposed axiomatization is proved and the complexity of the provability problem is established for the general case and some particular ones.

The aim of this paper has been to draw attention to the non-cognitive aspects of Vygotsky's theoretical heritage. We hope that we have succeeded in presenting here his principal ideas on motivation and volition in the present-day problem context. It should be noted that the problem of human freedom and self-determination was of great importance for Vygotsky, though the explicit discussion of this problem is not common in his writings. Approaching this problem both as a philosopher and as a psychologist, (...) Vygotsky inevitably had first to get some idea of the general psychological regularities which could serve as a concrete-psychological basis for the constructive paradigm in the explanation of the phenomena of human freedom and “non-freedom.” It is highly probable that he planned to discuss this problem at length in his last uncompleted book,Doctrine of Affects. However, even the existing texts provide a weighty and insightful basis not only for scientific research but also for creating applied methods of enhancement of human will-power, or, more exactly, the talent to will. Some of the possibilities, revealed by the Vygotskian approach, are presented in the last section. Many other of Vygotsky's brilliant ideas still await an unbiased reading in the contemporary, rather than merely historical, context. (shrink)

The gain of a selective advantage in cancer as well as the establishment of complex traits during evolution require multiple genetic alterations, but how these mutations accumulate over time is currently unclear. There is increasing evidence that a mutator phenotype perpetuates the development of many human cancers. While in some cases the increased mutation rate is the result of a genetic disruption of DNA repair and replication or environmental exposures, other evidence suggests that endogenous DNA damage induced by AID/APOBEC cytidine (...) deaminases can result in transient localized hypermutation generating simultaneous, closely spaced (i.e. “clustered”) multiple mutations. Here, we discuss mechanisms that lead to mutation cluster formation, the biological consequences of their formation in cancer and evidence suggesting that APOBEC mutagenesis can also occur genome‐wide. This raises the possibility that dysregulation of these enzymes may enable rapid malignant transformation by increasing mutation rates without the loss of fitness associated with permanent mutators. (shrink)

Sex chromosomes in plants have been known for a century, but only recently have we begun to understand the mechanisms behind sex determination in dioecious plants. Here, we discuss evolution of sex determination, focusing on Silene latifolia, where evolution of separate sexes is consistent with the classic “two mutations” model—a loss of function male sterility mutation and a gain of function gynoecium suppression mutation, which turned an ancestral hermaphroditic population into separate males and females. Interestingly, the gynoecium suppression function in (...) S. latifolia evolved via loss of function in at least two sex‐linked genes and works via gene dosage balance between sex‐linked, and autosomal genes. This system resembles X/A‐ratio‐based sex determination systems in Drosophila and Rumex, and could represent a steppingstone in the evolution of X/A‐ratio‐based sex determination from an active Y system. (shrink)

This book distinguishes itself in its integrated approach towards scientific research, and studies the basics of the methodology of scientific research and the organization of scientific activity from the viewpoint of systems science and system analysis. The book discusses the basics of the methodology including philosophical, psychological, epistemological and ethical/aesthetical foundations, the characteristics of scientific activity, including principles of scientific cognition, the means and methods of scientific research, the organization of a research implementation process and its chronological structure and finally, (...) the organization of a collective scientific research design. (shrink)

The morbidity of tick‐borne encephalitis (TBE) varies yearly by as much as 10‐fold among the people of Western Siberia. This long‐term variation is dependent on many factors such as the density of the tick populations, the prevalence of TBE virus (TBEV) among sub‐adult ticks, the yearly virulence of the TBEV, and prophylactic measures. Here we highlight the role of small mammal hosts in the circulation of TBEV through the ecosystem. Refining classical models of non‐viremic horizontal transmission, we emphasize the recently (...) understood fact that the physiological and immunological status of the small mammal hosts affects the tick and virus‐host interactions. In addition to its theoretical interest, our approach may lead to some practical improvements in the precision of epidemiological forecasts and perhaps in forestalling the severity of outbreaks of TBE, or, at least, in forewarning medical authorities and the general public of impending TBE outbreaks. (shrink)

In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN 3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is (...) asserted, d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT 4 . Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a –order (truth order) and d –order (falsity order) coincide with first-degree entailment. Finally logic with two kinds of operations ( a –connectives and d –connectives) and consequence relation defined via a –ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

Comparative study between Tibetan Bon and Buryatian Bø religion of ancient Shamanic traditions.

In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is asserted, (...) d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT4. Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a–order and d–order coincide with first-degree entailment. Finally logic with two kinds of operations and consequence relation defined via a–ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

We explore a possibility of generalization of classical truth values by distinguishing between their ontological and epistemic aspects and combining these aspects within a joint semantical framework. The outcome is four generalized classical truth values implemented by Cartesian product of two sets of classical truth values, where each generalized value comprises both ontological and epistemic components. This allows one to define two unary twin connectives that can be called “semi-classical negations”. Each of these negations deals only with one of the (...) above mentioned components, and they may be of use for a logical reconstruction of argumentative reasoning. (shrink)

In the past few decades world architecture has seen radical changes as the result of industrialization, standardization and mass production. For Soviet architecture this half century of scientific and technical revolution along with the growth of economic potential has been the most fruitful in its history. If we return to the past and try to form a judgment on the urbanism of our day we will no doubt see that what is offered us by new cities, modern residential zones and (...) social amenities corresponds to our dreams of the cities of the future. From the point of view of the past, we have only to look at the zones of Yassenevo, Tropariovo, the Olympic village or the civic centers of Tashkent or Navoi. (shrink)

The solution of the problem of the future random events truth is considered in Vasil’ev’s logic. N. A. Vasil’ev graded the logic according to two levels—the level of facts, i.e. time fixed events, and the level of notions or rules, governing these facts. The mathematical construction previously suggested for imaginary Vasil’ev’s logic, extends to the early variant of his logic—a logic of notions. In the paper, we investigate the meaning of problematic and uncertain assertions introduced by Vasil’ev. As a result, (...) we developed a model of Vasil’ev’s logic of facts that resolves also the truth problem of future random events. The imaginary logic has also been extended to the level of notions, and the law of the excluded eighth is gotten in it. The correspondence between Vasil’ev’s terms “some” and “all” and modern quantifiers is discussed. (shrink)

This article deals with the question of the interrelation between two papers, both called, in short, “Onomatodoxy”, dedicated to the doctrine of Name-glorification (Imiaslavie, Onomatodoxy), both of which were created in line with the Neo-Patristic movement in the Russian philosophy of the Silver Age. One of these papers is by Alexei Losev and the other by Pavel Florensky. In my opinion, there are sufficient grounds to state that Losev’s “Onomatodoxy” was written either after Florensky created his own “Onomatodoxy”, i.e., after (...) November 1922, or, at the earliest, after Florensky started to give clandestine lectures about Onomatodoxy in Moscow (where Losev lived), i.e., not earlier than spring 1921. Therefore, Losev’s article “Onomatodoxy” could have been intended for the religious-philosophical collection of articles planned for publishing by Yaschenko in 1922 in Berlin. (shrink)